Dingo: A Meta-Language for Go
🦀Rust Macros
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Zig in 30 Minutes
🔗Concatenative Programming
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
📝Concrete Syntax
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.org·1d
⚙️ABNF Mining
Flag this post
Pitch Multiplication (2017)
🎼Audio Lambda Calculus
Flag this post
Evolution Strategies at the Hyperscale
🔲Cellular Automata
Flag this post
Set theory with types
🔤Type Theory
Flag this post
What To Know Before Building Fluent Bit Plugins With Go
thenewstack.io·1d
💧Liquid Types
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.com·23h
📚Lempel-Ziv
Flag this post
Railway Oriented Programming
🧬Functional Programming
Flag this post
Rust/Tokio vs. Go for a server side app that requires high performance/low latency.
🌊Stream Processing
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
🦀Rust Macros
Flag this post
Redundancy vs. dependencies: which is worse?
🦀Rust Macros
Flag this post
Loading...Loading more...